اثبات جدیدی از قضیه مورلی

author

Abstract:

قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

درباره اثبات وایلز از قضیه آخر فرما

قضیه ی آخر فرما بیان می دارد که معادله ی x?+y?=z?, برای 3?n دارای جواب صحیح (xyz?0) نمی باشد. فرما (pierre de fermat) در حوالی سال 1637ادعا کرد که اثباتی جالب برای این قضیه ارائه کرده است که در حاشیه ی کتاب نمی گنجد. البته تنها اثبات کامل ریاضی که از او در دسترس است حل این معادله برای حالت 4=n می باشد که وی در آن از ایده ی نزول نامتناهی (infinite descent ) که هم اکنون نیز یکی از ابزارهای قوی ...

15 صفحه اول

اثبات جدیدی از اتحاد دی بروئین در کانال‌های نوفه تجمعی نرمال با مؤلفه‌های مستقل

کانال‌های نوفه تجمعی از جمله مهم‌ترین کانال‌های مخابراتی هستند که در مسائل پردازش سیگنال‌ها بسیار بدان‌ها توجه شده است. سیگنال دریافتی (متغیر تصادفی 15Y"> ) در این کانال‌ها به صورت مجموع یک سیگنال ارسال شده از مبدأ (متغیر تصادفی 15X"> ) و نوفه تحمیل شده بر آن (متغیر تصادفی 15Z"> ) است. یکی از مسائلی که دربارۀ سیگنال دریافتی مطرح است، آنتروپی متغیر تصادفی 15 Y">  است. در صورتی که متغیر تصادفی 15...

full text

اثبات قضیه بازتابی بروون - چورو

در این پایان نامه اثبات کاملی از قضیه بازتابی پروون - چورو ارائه می شود.

15 صفحه اول

مروری بر اثبات های مختلف از قضیه بورسوک-اولام

قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته ‎$f:mathbb{s}^nlongrightarrowmathbb{r}^n$‎ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از ‎$mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$‎ درجه فرد دار...

15 صفحه اول

اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 27  issue شماره 41

pages  43- 52

publication date 2009-02-19

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023